n (category theory) An object within a category which receives arrows from all other objects in that category, and such that each of these arrows is unique.